Decision logic for anglo-american cataloguing rules. XXI: «Choice of access points»COCKSHUTT, M. E; COOK, C. D; SCHABAS, A. H et al.Library resources & technical services. 1983, Vol 27, Num 4, pp 371-390, issn 0024-2527Article

Logical elements in living cellsKREMEN, A.Journal of theoretical biology. 1984, Vol 111, Num 1, pp 47-60, issn 0022-5193Article

Sur les dépendances temporelles dans les bases de donnéesVALIEV, M. K.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 1, pp 106-115, issn 0002-3388Article

Nonspliting subset of #7B-P#7B-K(#7B-K⁺)GITIK, M.The Journal of symbolic logic. 1985, Vol 50, Num 4, pp 881-894, issn 0022-4812Article

Logic modelingKIMBROUGH, Steven O.Decision support systems. 1998, Vol 22, Num 3, issn 0167-9236, 109 p.Serial Issue

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article

Hyperfinite models of adapted probability logicKEISLER, H. J.Annals of pure and applied logic. 1986, Vol 31, Num 1, pp 71-86, issn 0168-0072Article

Prise de décisions dans la commande des processus de production sur la base d'un algorithme de reconnaissance flouKARELIN, V. P; KOVALEV, S. M; MELIKHOV, A. N et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 6, pp 100-105, issn 0002-3388Article

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

On the logical modeling of ETL processesVASSILIADIS, Panos; SIMITSIS, Alkis; SKIADOPOULOS, Spiros et al.Lecture notes in computer science. 2002, pp 782-786, issn 0302-9743, isbn 3-540-43738-X, 5 p.Conference Paper

Validity of CTL queries revisitedSAMER, Marko; VEITH, Helmut.Lecture notes in computer science. 2003, pp 470-483, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Semantic query transformationBERTINC, E; MUSTO, D.Congrès INFORSID 1986. 1986, pp 141-171Conference Paper

L'analyse Implicative Bayésienne, une méthode pour l'étude des dépendances orientées. II : Modèle logique sur un tableau de contingence = Bayesian Implicative Analysis, a method for the study of oriented dependencies. II : Logical model on a contengency tableBERNARD, J.-M; CHARRON, C.Mathématiques, informatique et sciences humaines. 1996, Num 135, pp 5-18, issn 0995-2314Article

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modeling logic systems with structured array-based logicDAVIDRAJUH, Reggie; HUSSEIN, Bassam.Modeling, identification and control. 2003, Vol 24, Num 1, pp 27-35, issn 0332-7353, 9 p.Article

Motivational attitudes of agents: On desires, obligations, and normsDIGNUM, Frank; KINNY, David; SONENBERG, Liz et al.Lecture notes in computer science. 2002, pp 83-92, issn 0302-9743, isbn 3-540-43370-8Conference Paper

A new approach toward modeling causality in commonsense reasoningSUN, R.International journal of intelligent systems. 1995, Vol 10, Num 6, pp 581-616, issn 0884-8173Article

Bases de données déductives dans les systèmes de gestionVAGIN, V. N; GOLOVKO, A. V.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1987, Num 2, pp 60-73, issn 0002-3388Article

Peano arithmetic and hyper-Ramsey logicSCHMERL, J. H.Transactions of the American Mathematical Society. 1986, Vol 296, Num 2, pp 481-505, issn 0002-9947Article

PARADIGMATIC PROCESSES IN CULTURE CHANGE = LES PROCESSUS PARADIGMATIQUES DANS LES MODIFICATIONS CULTURELLESWALLACE AFC.1972; AMER. ANTHROPOLOGIST; U.S.A.; DA. 1972; VOL. 74; NO 3; PP. 467-478; BIBL. 13REF.Article

Anti-correlation as a criterion to select appropriate counter-measures in an intrusion detection frameworkCUPPENS, Frédéric; AUTREL, Fabien; BOUZIDA, Yacine et al.Annales des télécommunications. 2006, Vol 61, Num 1-2, pp 197-217, issn 0003-4347, 21 p.Article

Partial stable models for logic programs with aggregatesPELOV, Nikolay; DENECKER, Marc; BRUYNOOGHE, Maurice et al.Lecture notes in computer science. 2004, pp 207-219, issn 0302-9743, isbn 3-540-20721-X, 13 p.Conference Paper

Symbolic partial model checking for security analysisMARTINELLI, Fabio.Lecture notes in computer science. 2003, pp 122-134, issn 0302-9743, isbn 3-540-40797-9, 13 p.Conference Paper

Using constraint logic programming techniques in container port planningPERRETT, M.ICL technical journal. 1991, Vol 7, Num 3, pp 537-545, issn 0142-1557Article

Multiset theoryBLIZARD, W. D.Notre Dame journal of formal logic. 1989, Vol 30, Num 1, pp 36-66, issn 0029-4527Article